Study of the NP-completeness of the compact table problem

نویسندگان

  • Jean-Christophe Dubacq
  • Jean-Yves Moyen
چکیده

The problem of compact tables is to maximise the overlap when building a word that is to include permutations of every given words (all the words being the same length). This problem is shown to be NP-complete in the general case, and some specific restrictions are studied. 1. Presentation of the problem 1.1. Informal description and examples In several fields, it can be helpful to give a compact representation of a two dimensional table. We are interested in the case of random output tables, where the table is used to express the possible outcomes in n different initial conditions, where results can be described qualitatively with several results. These results can be represented several times for a given initial condition (to express discrete probabilities). We shall suppose that the number of possible outcomes (with multiple occurrences counted multiple times) is always the same (it could be 100 for a simplified percentage scheme, for example). This common number is called the amplitude of the table (`). For example, one can have the following table (on the left) where each row corresponds to a different set of initial conditions and each column corresponds to a different result. The numbers correspond to the possible outcomes, i.e. in case A, outcome α happens 30% of the time, outcome β happens 40% of the time and outcome γ happens with a probability of 30%. The same table can also be explicitly expanded (on the right). α β γ δ A 30% 40% 30% 0% B 10% 30% 20% 40% C 10% 0% 60% 30% D 20% 20% 40% 20% 1 2 3 4 5 6 7 8 9 10 A α α α β β β β γ γ γ B α β β β γ γ δ δ δ δ C α γ γ γ γ γ γ δ δ δ D α α β β γ γ γ γ δ δ Now, to find the outcome in, e.g. case B, one can computes a random number between 1 and 10 and directly look into the table for the corresponding result in the ’B’ line. 2000 ACM Subject Classification: 68Q17, 68Q45, 91A90.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ON COMPACTNESS AND G-COMPLETENESS IN FUZZY METRIC SPACES

In [Fuzzy Sets and Systems 27 (1988) 385-389], M. Grabiec in- troduced a notion of completeness for fuzzy metric spaces (in the sense of Kramosil and Michalek) that successfully used to obtain a fuzzy version of Ba- nachs contraction principle. According to the classical case, one can expect that a compact fuzzy metric space be complete in Grabiecs sense. We show here that this is not the case,...

متن کامل

Convergence and quantale-enriched categories

Generalising Nachbin's theory of ``topology and order'', in this paper we   continue the study of quantale-enriched categories equipped with a compact   Hausdorff topology. We compare these $V$-categorical compact Hausdorff spaces   with ultrafilter-quantale-enriched categories, and show that the presence of a   compact Hausdorff topology guarantees Cauchy completeness and (suitably   defined) ...

متن کامل

On the NP-Completeness of the Minimum Circuit Size Problem

We study the Minimum Circuit Size Problem (MCSP): given the truth-table of a Boolean function f and a number k, does there exist a Boolean circuit of size at most k computing f? This is a fundamental NP problem that is not known to be NP-complete. Previous work has studied consequences of the NP-completeness of MCSP. We extend this work and consider whether MCSP may be complete for NP under mor...

متن کامل

Characterization of fuzzy complete normed space and fuzzy b-complete set

The present paper introduces the notion of the complete fuzzy norm on a linear space. And, some relations between the fuzzy completeness and ordinary completeness on a linear space is considered, moreover a new form of fuzzy compact spaces, namely b-compact spaces and b-closed spaces are introduced. Some characterizations of their properties are obtained.

متن کامل

Building a Multi-Objective Model for Multi-Product Multi-Period Production Planning with Controllable Processing Times: A Real Case Problem

Model building is a fragile and complex process especially in the context of real cases. Each real case problem has its own characteristics with new concepts and conditions. A correct model should have some essential characteristics such as: being compatible with real conditions, being of sufficient accuracy, being logically traceable and etc. This paper discusses how to build an efficient mode...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008